scalar product of two vectors properties